((v2 v5 6) (v5 v6 3) (v12 v10 8) (v10 v1 2) (v8 v2 5) (v3 v9 9) (v4 v8 6) (v9 v2 8) (v12 v11 4) (v2 v12 2) (v1 v4 4) (v9 v7 2) (v12 v8 3) (v8 v11 4) (v1 v12 9) (v11 v1 5) (v1 v5 5) (v3 v8 0) (v8 v10 2) (v8 v5 0) (v8 v6 2) (v1 v9 5) (v3 v4 9) (v3 v6 8) (v7 v8 3) (v6 v12 7) (v3 v10 3) (v7 v4 9) (v6 v9 1) (v1 v8 2) (v10 v4 1) (v11 v9 7) (v11 v4 4) (v9 v5 8) (v11 v5 5) (v3 v5 5) (v2 v10 1))
67
((v1 v11) (v6 v4) (v7 v10))